Skip to content

new file LinearClosureForGroupAsCategory.gi - #1755

Merged
mohamed-barakat merged 1 commit into
homalg-project:masterfrom
mohamed-barakat:devel
Jun 28, 2025
Merged

new file LinearClosureForGroupAsCategory.gi#1755
mohamed-barakat merged 1 commit into
homalg-project:masterfrom
mohamed-barakat:devel

Conversation

@mohamed-barakat

Copy link
Copy Markdown
Member

No description provided.

@mohamed-barakat
mohamed-barakat force-pushed the devel branch 2 times, most recently from c70d7f5 to 481cbe0 Compare June 28, 2025 07:30
@mohamed-barakat mohamed-barakat changed the title new file LinearClosureForGroupAsCategory.gi and read LinearClosure.gi by default new file LinearClosureForGroupAsCategory.gi Jun 28, 2025
@codecov

codecov Bot commented Jun 28, 2025

Copy link
Copy Markdown

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 81.56%. Comparing base (06b93ab) to head (57cf2ee).
Report is 2 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #1755      +/-   ##
==========================================
+ Coverage   81.50%   81.56%   +0.05%     
==========================================
  Files         559      569      +10     
  Lines       79955    80801     +846     
==========================================
+ Hits        65170    65902     +732     
- Misses      14785    14899     +114     
Flag Coverage Δ
ActionsForCAP 64.04% <ø> (ø)
AttributeCategoryForCAP 90.45% <ø> (ø)
CAP 86.41% <ø> (ø)
CartesianCategories 89.38% <ø> (ø)
CompilerForCAP 95.89% <ø> (ø)
ComplexesAndFilteredObjectsForCAP 73.55% <ø> (ø)
FreydCategoriesForCAP 82.14% <100.00%> (+<0.01%) ⬆️
GeneralizedMorphismsForCAP 61.76% <ø> (ø)
GradedModulePresentationsForCAP 44.62% <ø> (ø)
GroupRepresentationsForCAP 71.92% <ø> (ø)
GroupsAsCategoriesForCAP 96.69% <ø> (ø)
HomologicalAlgebraForCAP 73.21% <ø> (?)
InternalExteriorAlgebraForCAP 93.09% <ø> (?)
LinearAlgebraForCAP 57.41% <ø> (ø)
ModulePresentationsForCAP 69.88% <ø> (ø)
ModulesOverLocalRingsForCAP 90.70% <ø> (ø)
MonoidalCategories 89.84% <ø> (ø)
ToricSheaves 21.79% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@mohamed-barakat
mohamed-barakat merged commit d8d6e71 into homalg-project:master Jun 28, 2025
5 checks passed
@mohamed-barakat
mohamed-barakat deleted the devel branch June 28, 2025 08:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant